Wednesday, December 4

• Undecidability
• P vs NP